Results for 'U. V. Matiasevic'

988 found
Order:
  1.  28
    Journal of Soviet Mathematics.G. E. Mints, U. V. Matiasevic, A. O. Slisenko, Justus Diller & Martin Stein - 1987 - Journal of Symbolic Logic 52 (2):561-561.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  63
    Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 , pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 , pp. 354–357. See Errata, ibid., vol. 11 no. 6 , p. vi. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
  3.  44
    Ú. V. Matiásévič. Prostyé priméry nérazréšimyh associativnyh isčislénij. Doklady Akadémii Nauk, vol. 173 , pp. 1264–1266. - Ju. V. Matijasevič. Simple examples of undecidable associative calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 8 no. 2 , pp. 555–557. [REVIEW]D. J. Collins - 1968 - Journal of Symbolic Logic 33 (3):469-470.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  48
    Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 , pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 , pp. 1–28. [REVIEW]Martin Davis - 1974 - Journal of Symbolic Logic 39 (3):605.
  5.  98
    Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
  6.  37
    Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  26
    Coordinating Agents in Design: A Formal Analysis.U. V. Johar - 1998 - Journal of Intelligent Systems 8 (3-4):291-314.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  6
    Sot︠s︡ialʹnai︠a︡ ėkologii︠a︡ i massovoe soznanie.V. V. Delari︠u︡ - 2000 - Volgograd: Volgogradskai︠a︡ med. akademii︠a︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  4
    Psikhologicheskie osobennosti formirovanii︠a︡ nravstvennykh poni︠a︡tiĭ u studentov v uchebno-rechevoĭ dei︠a︡telʹnosti: monografii︠a︡.I︠U︡. V. Orekhova - 2006 - Ri︠a︡zanʹ: Ri︠a︡zanskai︠a︡ gos. selʹskokhozi︠a︡ĭstvennai︠a︡ akademii︠a︡.
  10. Smysloobrazui︠u︡shchai︠a︡ rolʹ arkhetipicheskikh znacheniĭ v literaturnom tekste: posobie po spet︠s︡kursu.I︠U︡. V. Domanskiĭ - 1999 - Tverʹ: Tverskoĭ gos. universitet.
     
    Export citation  
     
    Bookmark  
  11.  5
    Ėvoli︠u︡t︠s︡ii︠a︡: kniga dli︠a︡ izuchai︠u︡shchikh i prepodai︠u︡shchikh biologii︠u︡.I︠U︡. V. Chaĭkovskiĭ - 2003 - Moskva: T︠S︡entr sistemnykh issledovaniĭ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. V. Gumbolʹdt i Bratʹi︠a︡ Grimm: trudy i preemstvennostʹ ideĭ.I︠U︡. V. Rozhdestvenskiĭ & A. Shproĭ (eds.) - 1987 - Moskva: Izd-vo Moskovskogo universiteta.
     
    Export citation  
     
    Bookmark  
  13. Fizika v sisteme kulʹtury.I︠U︡. V. Sachkov (ed.) - 1996 - Moskva: Institut filisofii (Rossiĭskai︠a︡ akademii︠a︡ nauk).
    No categories
     
    Export citation  
     
    Bookmark  
  14.  6
    Smysl i "bes-smyslennoe vremi︠a︡": problema smysla zhizni v sovremennoĭ filosofii: monografii︠a︡.I︠U︡. V. Masli︠a︡nka - 2009 - Permʹ: Permskiĭ gos. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Praktika i istoricheskai︠a︡ nauka: problema subʺekta i obʺekta v istoricheskoĭ nauke.I︠U︡. V. Petrov - 1981 - Tomsk: Izd-vo Tomskogo universiteta.
     
    Export citation  
     
    Bookmark  
  16. Vvedenie v veroi︠a︡tnostnyǐ mir.I︠U︡. V. Sachkov - 1971 - Moskva,: "Nauka,".
     
    Export citation  
     
    Bookmark  
  17. V poiskakh Chelovekii: dorozhnye zapisi na poli︠a︡kh sobstvennoĭ zhizni.I︠U︡. V. Efimenko - 2024 - Moskva: Prometeĭ (Firm).
    No categories
     
    Export citation  
     
    Bookmark  
  18. Vvedenie v ėtiku predprinimatelʹstva: tekst lekt︠s︡iĭ.I︠U︡. V. Sogomonov - 1994 - Vladimir: Vladimirskiĭ gos. tekhn. universitet.
     
    Export citation  
     
    Bookmark  
  19.  8
    Noosfernyĭ proekt sot︠s︡ioprirodnoĭ ėvoli︠u︡t︠s︡ii.I︠U︡. V. Oleĭnikov - 1999 - Moskva: Rossiĭskai︠a︡ Akademii︠a︡ Nauk, In-t filosofii. Edited by A. A. Onosov.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  9
    Krome Makiavelli: problema metoda v politicheskikh naukakh rannego Novogo vremeni nauchnai︠a︡ monografii︠a︡.I︠U︡. V. Ivanova - 2014 - Moskva: Kvadriga.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  8
    Istorii︠a︡ filosofii v formate statʹi: sbornik stateĭ = History of philosophy in the form of an article.I︠U︡. V. Sineokai︠a︡ (ed.) - 2016 - Moskva: Kulʹturnai︠a︡ revoli︠u︡t︠s︡ii︠a︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Logic and Abstraction as Capabilities of the Mind: Reconceptualizations of Computational Approaches to the Mind.D. J. Saab & U. V. Riss (eds.) - 2010 - IGI.
    In this chapter we will investigate the nature of abstraction in detail, its entwinement with logical thinking, and the general role it plays for the mind. We find that non-logical capabilities are not only important for input processing, but also for output processing. Human beings jointly use analytic and embodied capacities for thinking and acting, where analytic thinking mirrors reflection and logic, and where abstraction is the form in which embodied thinking is revealed to us. We will follow the philosophical (...)
     
    Export citation  
     
    Bookmark  
  23.  8
    Sot︠s︡ialʹnai︠a︡ teorii︠a︡ i politicheskie strategii postmarksizma.I︠U︡. V. Barbaruk - 2012 - Moskva: Librokom.
    Книга предназначена для социологов, политологов, философов, а также преподавателей и студентов социальных и политических специальностей.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Antropologicheskiĭ obraz filosofii.I︠U︡. V. Petrov - 1997 - Tomsk: Izd-vo Nauchno-tekhn. lit-ry.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  8
    Fenomen inomernosti v sovremennoĭ kulʹture: (filosofsko-kulʹturologicheskiĭ analiz).I︠U︡. V. Shichanina - 2004 - Rostov-na-Donu: Rostovskiĭ gos. universitet.
  26.  6
    Istorii︠a︡ filosofii: kratkiĭ kurs.I︠U︡. V. Medzhidov - 1996 - Makhachkala: Dagestanskiĭ gos. tekhnicheskiĭ universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Mir i dukhovnai︠a︡ revoli︠u︡t︠s︡ii︠a︡ na planete.I︠U︡. V. Kononov - 1995 - Kiev: [S.N.]. Edited by Z. N. Kononova.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  4
    Filosofskie ėmanat︠s︡ii li︠u︡bvi.I︠U︡. V. Sineokai︠a︡ (ed.) - 2019 - Moskva: Izdatel'skii dom I︠A︡SK.
  29.  5
    Novai︠a︡ religioznostʹ kak sot︠s︡iokulʹturnyĭ fenomen.I︠U︡. V. Ryzhov - 2005 - Moskva: Smysl.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  5
    Krome Dekarta: razmyshlenii︠a︡ o metode v intellektualʹnoĭ kulʹture Evropy rannego novogo vremeni gumanitarnye dist︠s︡ipliny: nauchnai︠a︡ monografii︠a︡.I︠U︡. V. Ivanova - 2011 - Moskva: Kvadriga.
    Книга иранского историка посвящена истории происхождения названия государства Азербайджан, истории Кавказской Албании, древнему государству существовавшему на территории современных Азербайджана, Дагестана и Армении (Нагорного Карабаха).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Metodologicheskie problemy nauki: [sb. stateĭ.I︠U︡. V. Petrov (ed.) - 1978 - Tomsk: Izd-vo TGU.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  7
    Slovarʹ terminov: moralʹ, nravstvennostʹ, ėtika: obshcheobrazovatelʹnyĭ tezaurus.I︠U︡. V. Rozhdestvenskiĭ - 2002 - Moskva: Izd-vo "Nauka".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Filosofii︠a︡, estestvoznanie, NTR.I︠U︡. V. Sachkov (ed.) - 1986 - Moskva: "Progress".
    No categories
     
    Export citation  
     
    Bookmark  
  34. Filosofskie issledovanii︠a︡ sovremennykh problem kvantovoĭ teorii.I︠U︡. V. Sachkov & A. V. Ti︠a︡glo (eds.) - 1991 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Teorii︠a︡ poznanii︠a︡ i sovremennai︠a︡ fizika.I︠U︡. V. Sachkov (ed.) - 1984 - Moskva: Izd-vo "Nauka".
  36. Kommunisticheskai︠a︡ ubezhdennostʹ--velikai︠a︡ sila stroiteleĭ novogo mira: Dokl. na Torzhestv. sobranii v Moskve, posvi︠a︡shch. 100-letii︠u︡ so dni︠a︡ rozhdenii︠a︡ F. Ė. Drerzhinskogo.I︠U︡. V. Andropov - 1977 - Moskva: Politizdat.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Kommunisticheskai︠a︡ ubezhdennostʹ--velikai︠a︡ sila stroiteleĭ novogo mira: Dokl. na Torzhestv. sobranii v Moskve, posvi︠a︡shch. 100-letii︠u︡ so dni︠a︡ rozhdenii︠a︡ F. Ė. Drerzhinskogo.I︠U︡. V. Andropov - 1977 - Moskva: Politizdat.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Smelai︠a︡ chestnostʹ.I︠U︡. V. Feofanov - 1965
    No categories
     
    Export citation  
     
    Bookmark  
  39. Vokrug i︠a︡snogo voprosa.I︠U︡. V. Feofanov - 1969
    No categories
     
    Export citation  
     
    Bookmark  
  40.  8
    Fridrikh Nit︠s︡she: nasledie i proekt.I︠U︡. V. Sineokai︠a︡ & Ekaterina Poljakova (eds.) - 2017 - Moskva: Izdatelʹskiĭ Dom I︠A︡SK.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Dobro i zlo.I︠U︡. V. Sogomonov - 1965 - Moskva,: Izd-vo polit. lit-ry.
    No categories
     
    Export citation  
     
    Bookmark  
  42. Noosfera: realʹnostʹ, ili, Krasivyĭ mif?I︠U︡. V. Shishkov (ed.) - 2003 - Moskva: Novyĭ vek.
     
    Export citation  
     
    Bookmark  
  43.  7
    Стадии ресоциализации осужденных в свете новых социолого-антропологических воззрений и социальной философии.I︠U︡. V. Baranov - 2006 - Sankt-Peterburg: "I︠U︡ridicheskiĭ t︠s︡entr Press,".
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  7
    Filosofsʹki zasady stanovlenni︠a︡ miz︠h︡narodnoho prava: monohrafii︠a︡.I︠U︡. V. Chaĭkovsʹkyĭ - 2010 - Odesa: Feniks.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  6
    Pedahohichni teoriï, tekhnolohiï, dosvid: (dydaktychnyĭ aspekt): dli︠a︡ prat︠s︡ivnykiv viddiliv osvity, kerivnykiv ta vchyteliv shkil, studentiv.I︠U︡. V. Vasʹkov - 2000 - Kharkiv: "Skorpion".
  46. Pedagogicheskie vzgli︠a︡dy Sharli︠a︡ Furʹe.I︠U︡. V. Vasilʹkova - 1986 - Moskva: "Pedagogika".
     
    Export citation  
     
    Bookmark  
  47.  5
    Ballada poveshennogo: opravdanie metafiziki, ili vozvrashchenie filosofii.I︠U︡. V. Petrov - 2008 - Tomsk: Izdatelʹstvo nauchno-tekhnicheskoĭ literatury.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Hryhoriĭ Skovoroda interpretat︠s︡iï: kulʹturolohii︠a︡, filosofii︠a︡, pedahohika, literaturoznavstvo: zbirnyk naukovykh prat︠s︡ʹ.Volodymyr Polishchuk & I︠U︡. V. Tymoshenko (eds.) - 2003 - Cherkasy: Brama.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    Dukhovnoe proizvodstvo: sushchnostʹ, struktura, osobennosti razvitii︠a︡.I︠U︡. V. Evdokimova - 2006 - Moskva: MAKS Press. Edited by G. M. Kolpakova.
  50.  6
    Kulʹtura interpretat︠s︡ii do nachala Novogo vremeni.I︠U︡. V. Ivanova & A. M. Rutkevich (eds.) - 2009 - Moskva: Izdatelʹskiĭ dom "Gosudarstvennyĭ universitet Vysshai︠a︡ shkola ėkonomiki".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 988